properties of relation in discrete mathematics